Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Modelo lógico")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 385

  • Page / 16
Export

Selection :

  • and

Logic modelingKIMBROUGH, Steven O.Decision support systems. 1998, Vol 22, Num 3, issn 0167-9236, 109 p.Serial Issue

Open induction and the true theory of rationalsADAMOWICZ, Z.The Journal of symbolic logic. 1987, Vol 52, Num 3, pp 793-801, issn 0022-4812Article

L'analyse Implicative Bayésienne, une méthode pour l'étude des dépendances orientées. II : Modèle logique sur un tableau de contingence = Bayesian Implicative Analysis, a method for the study of oriented dependencies. II : Logical model on a contengency tableBERNARD, J.-M; CHARRON, C.Mathématiques, informatique et sciences humaines. 1996, Num 135, pp 5-18, issn 0995-2314Article

An outline of a general model for information retrieval systemsJIANYUN NIE.International conference on research and development in information retrieval. 11. 1988, pp 495-506Conference Paper

Modeling logic systems with structured array-based logicDAVIDRAJUH, Reggie; HUSSEIN, Bassam.Modeling, identification and control. 2003, Vol 24, Num 1, pp 27-35, issn 0332-7353, 9 p.Article

Motivational attitudes of agents: On desires, obligations, and normsDIGNUM, Frank; KINNY, David; SONENBERG, Liz et al.Lecture notes in computer science. 2002, pp 83-92, issn 0302-9743, isbn 3-540-43370-8Conference Paper

A new approach toward modeling causality in commonsense reasoningSUN, R.International journal of intelligent systems. 1995, Vol 10, Num 6, pp 581-616, issn 0884-8173Article

Bases de données déductives dans les systèmes de gestionVAGIN, V. N; GOLOVKO, A. V.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1987, Num 2, pp 60-73, issn 0002-3388Article

Peano arithmetic and hyper-Ramsey logicSCHMERL, J. H.Transactions of the American Mathematical Society. 1986, Vol 296, Num 2, pp 481-505, issn 0002-9947Article

Validity of CTL queries revisitedSAMER, Marko; VEITH, Helmut.Lecture notes in computer science. 2003, pp 470-483, issn 0302-9743, isbn 3-540-40801-0, 14 p.Conference Paper

Semantic query transformationBERTINC, E; MUSTO, D.Congrès INFORSID 1986. 1986, pp 141-171Conference Paper

MCK: Model Checking the logic of KnowledgeGAMMIE, Peter; VAN DER MEYDEN, Ron.Lecture notes in computer science. 2004, pp 479-483, issn 0302-9743, isbn 3-540-22342-8, 5 p.Conference Paper

On the logical modeling of ETL processesVASSILIADIS, Panos; SIMITSIS, Alkis; SKIADOPOULOS, Spiros et al.Lecture notes in computer science. 2002, pp 782-786, issn 0302-9743, isbn 3-540-43738-X, 5 p.Conference Paper

Using Logic Models in a Community-Based Agricultural Injury Prevention ProjectHELITZER, Deborah; WILLGING, Cathleen; HATHORN, Gary et al.Public health reports (1974). 2009, Vol 124, pp 63-73, issn 0033-3549, 11 p., SUP1Article

Issues in the design of negotiation protocols for logic-based agent communication languagesWOOLDRIDGE, Michael; PARSONS, Simon.Lecture notes in computer science. 2001, pp 70-83, issn 0302-9743, isbn 3-540-41749-4Conference Paper

Logical models in information retrieval : Introduction and overviewLALMAS, M.Information processing & management. 1998, Vol 34, Num 1, pp 19-33, issn 0306-4573Article

Abstract data types for the logical modeling of complex dataGARGANO, M; NARDELLI, E; TALAMO, M et al.Information systems (Oxford). 1991, Vol 16, Num 6, pp 565-583, issn 0306-4379Article

Term models for weak set theories with a universal setFORSTER, T. E.The Journal of symbolic logic. 1987, Vol 52, Num 2, pp 374-387, issn 0022-4812Article

Minimality in the Δ1/3-degreesWELCH, P.The Journal of symbolic logic. 1987, Vol 52, Num 4, pp 908-915, issn 0022-4812Article

Enhanced vacuity detection in linear temporal logicARMONI, Roy; FIX, Limor; FLAISHER, Alon et al.Lecture notes in computer science. 2003, pp 368-380, issn 0302-9743, isbn 3-540-40524-0, 13 p.Conference Paper

Compact two-step parallel modified-signed-digit adder/subtractor based on binary logic operations using electron-trapping devicesGUOQIANG LI; FENG QIAN; HAO RUAN et al.SPIE proceedings series. 1999, pp 30-38, isbn 0-8194-3291-1Conference Paper

The expressive theory of stacksKAMIN, S.Acta informatica. 1987, Vol 24, Num 6, pp 695-709, issn 0001-5903Article

Undecidability of L(F∞) and other lattices of R.E. substructuresDOWNEY, R. G.Annals of pure and applied logic. 1986, Vol 32, Num 1, pp 17-26, issn 0168-0072Article

A program logic with quantifiable propositional variablesORLOWSKA, E.Bulletin of the Polish academy of sciences. Mathematics. 1985, Vol 33, Num 9-10, pp 459-467Article

Minimal refinements of specifications in model and termporal logicsGOROGIANNIS, Nikos; RYAN, Mark.Formal aspects of computing. 2007, Vol 19, Num 1, pp 35-62, issn 0934-5043, 28 p.Article

  • Page / 16